In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
21	Excelsior JET for Mac OS X Version 11 User’s Guide Add to Reading List Source URL: www.excelsiorjet.com Language: English Software Computing Compiler construction Cross-platform software Programming language implementation Java platform Computing platforms Excelsior JET Just-in-time compilation Installation Java Nullsoft Scriptable Install System
22	Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) Alessandro Solimando and Riccardo Traverso? Dipartimento di Informatica e Scienze dell’Informazione, Università di Add to Reading List Source URL: verify.disi.unige.it Language: English - Date: 2012-11-14 14:09:06 Declarative programming Software engineering Computer programming Functional programming Monad Arrow Type class Haskell Pattern matching Multi-agent system Beliefdesireintention software model Haskell features
23	Course Outline FME Desktop Basic Training Course – Full Course Overview Learn from the experts in how to use the essential components and capabilities in FME through this two-day course, which includes extensive hands- Add to Reading List Source URL: cdn.safe.com Language: English - Date: 2016-02-02 15:59:49 Software System software Computing Computer programming Workspace Transformers Workbench
24	SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Computing Transaction processing Concurrency control Data management Information science Databases Lock Linearizability Hash table File locking Unix signal Serializability
25	EN1.01 Expansion of geoLEDA Graphical Visualization Tool Richard Liang Joseph Tsay In the study of algorithms, it is very useful to have a system that not only contains a database of problems and their solutions, but als Add to Reading List Source URL: aao.sinica.edu.tw Language: English - Date: 2014-10-02 04:23:39 OMPL Algorithm Computing Computer programming Mathematics
26	Using Rules to Generate and Execute Workflows in Smart Factories Dörthe Arndt, Joachim Van Herwegen, Ruben Verborgh, Erik Mannens, and Rik Van de Walle Ghent University - iMinds - Data Science Lab Sint-Pietersnieuwstraa Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-06-25 09:23:48 Workflow technology Software Application software Engineering Workflow Application programming interface Scientific workflow system
27	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
28	Appears in Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCSType Classes with Functional Dependencies? Mark P. Jones Department of Computer Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:50 Software engineering Computer programming Computing Data types Type theory Functional programming C++ Type class C++ classes Monad Parameter Type system
29	Custom block distribution on HDFS Ari Yoskovitz Introduction Until this option was presented, Hadoop could only distribute blocks into HDFS in a uniform manner. Explicitly, each machine in the cluster got roughly the sam Add to Reading List Source URL: www.lawa-project.eu Language: English - Date: 2012-05-21 04:09:14 Software Computing Cloud infrastructure Apache Hadoop Apache Software Foundation Cross-platform software High-level programming languages Scripting languages Perl Fsck IBM General Parallel File System
30	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming

UPDATE